Using Abstract State Machines for Distributed Data Warehouse Design
نویسندگان
چکیده
منابع مشابه
Dynamic Data Warehouse Design with Abstract State Machines
On-line analytical processing (OLAP) systems deal with analytical tasks that support decision making. As these tasks do not depend on the latest updates by transactions, it is assumed that the data required by OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to OLAP. However, user requirements for OLAP systems change over time. Dat...
متن کاملDynamic Data Warehouse Design as a Refinement in ASM-based Approach
On-line analytical processing (OLAP) systems deal with analytical tasks in businesses. As these tasks do not depend on the latest updates by transactions, it is assumed that the data used in OLAP systems are kept in a data warehouse, which separates the input from operational databases from the outputs to OLAP. Typical OLAP queries are data intensive, and thus time consuming. In order to speed ...
متن کاملDesign, Implementation and Deployment of State Machines Using a Generative Approach
We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various artefacts are generated from each state machine, including diagrams, sourcelevel protocol implementations and documentation. The state machine family formalises the interactions between the components of the distributed system, ...
متن کاملBalancing Redundancy and Query Costs in Distributed Data Warehouses
Abstract State Machines (ASMs) encourage highlevel system specifications without forcing the development into the “formal methods straightjacket”. This makes them an ideal formal method for applications in areas, where otherwise only semi-formal methods are used. One such area is the development of data warehouse and on-line analytical processing (OLAP) applications to which this article contri...
متن کاملCommunication in Abstract State Machines
Up to recently the majority of applications of the Abstract State Machines method for design and verification of computational systems used the shared variable approach. However in particular with distributed systems only various forms of communication may be available to share information. We define communicating ASMs by using instead of shared locations an explicit, abstract concept of Sendin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004